Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: constructiva matematica
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- constructivismo Bridges, Douglas, punto 3.3: Bishop's Constructive Mathematics en Constructive Mathematics, The Stanford Encyclopedia of Philosophy (Fall 2012…6 kB (868 palabras) - 20:18 10 oct 2022
- Método probabilístico Bridges, Douglas; Palmgren, Erik (2018), «Constructive Mathematics», en Zalta, Edward N., ed., The Stanford Encyclopedia of Philosophy…15 kB (2102 palabras) - 04:30 27 sep 2023
Reasonable Discourse. Diane Loring Souvaine, Paul Lorenzen and Constructive Mathematics. Información básica (en inglés) libros de Lorenzen y sobre él en…4 kB (507 palabras) - 12:18 14 nov 2023
constructivismo Bridges, Douglas, punto 3.3: Bishop's Constructive Mathematics en Constructive Mathematics, The Stanford Encyclopedia of Philosophy (Fall 2012…45 kB (5079 palabras) - 14:26 10 abr 2024- {1}{10n+9}}\right)\end{aligned}}} «PiHex Credits». Centre for Experimental and Constructive Mathematics. Simon Fraser University. 21 de marzo de 1999. Archivado desde…2 kB (278 palabras) - 16:28 5 dic 2023
Coquand, Thierry; Huet, Gérard (1985). «A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction». Journal…6 kB (580 palabras) - 20:15 4 ene 2024
and Fred Richman. Varieties of Constructive Mathematics, Oxford, 1987. B.A. Kushner (1984), Lectures on constructive mathematical analysis, American…5 kB (713 palabras) - 09:30 7 dic 2022- constructivismo Bridges, Douglas, punto 3.3: Bishop's Constructive Mathematics en Constructive Mathematics, The Stanford Encyclopedia of Philosophy (Fall 2012…71 kB (12 297 palabras) - 16:38 24 feb 2024
Douglas Bridges, Constructive Analysis, Springer, 1985, ISBN 0-387-15066-8 Douglas Bridges y Fred Richman. Varieties of Constructive Mathematics, Oxford, 1987…12 kB (1750 palabras) - 09:06 15 feb 2023
Mines, R.; Richman, Fred (1975), «The constructive Jordan curve theorem», The Rocky Mountain Journal of Mathematics 5: 225-236, ISSN 0035-7596, doi:10…4 kB (316 palabras) - 10:27 23 ene 2024- Efficient Algorithm for the Riemann Zeta Function». En Théra, Michel A., ed. Constructive, Experimental, and Nonlinear Analysis. Conference Proceedings, Canadian…8 kB (841 palabras) - 00:03 14 ene 2024
- 57-73. doi:10.1007/bf02392330. Sibner, L. M.; Sibner, R. J. (1974). «A constructive proof of the Riemann-Roch theorem for curves». Contributions to analysis…8 kB (839 palabras) - 19:24 4 ene 2024
Homotopy Type: A Constructive Study Via the Theory of the I*-Measure ISBN 0-387-13611-8 Wen-tsun, Wu & Min-de, Cheng, CHINESE MATHEMATICS INTO THE 21ST CENTURY…7 kB (816 palabras) - 22:56 1 feb 2024- forms of the predicates in the theory of constructive ordinals (second paper), American Journal of Mathematics 77 (1955), pp. 405–428; and Hierarchies…19 kB (2553 palabras) - 18:45 8 oct 2023
considerablemente con el influyente libro de Errett Bishop Foundations of Constructive Analysis.[15] Una objeción diferente planteada por Henri Poincaré es…40 kB (5034 palabras) - 20:51 17 abr 2024- Slisenko, A.O. (ed.) Structures in Constructive Mathematics and Mathematical Logic, Part II, Seminars in Mathematics (translated from Russian), pp. 115–125…19 kB (1967 palabras) - 14:39 26 oct 2023
- constructivista.[1] Sluga, Hans (2019). «Oskar Becker or the Reconciliation of Mathematics and Existential Philosophy». Meta: research in hermeneutics, phenomenology…1 kB (165 palabras) - 18:11 8 ene 2024
- Jonathan Borwein's homepage Jonathan Borwein en el Mathematics Genealogy Project. The experimental mathematics homepage and blog Researcher ID Datos: Q381329…4 kB (542 palabras) - 18:16 26 dic 2023
- Publications. ISBN 84-291-4889-2. Pérez Taboada, C. (2005). Modelización constructive de comportamiento de materiales compuestos para uso civil. Universitat…4 kB (487 palabras) - 14:20 9 oct 2023
- recent results», Proc. First European Congress of Mathematics, Vol. II (Paris, 1992), Progress in Mathematics 120, Basel: Birkhäuser, pp. 159-184, MR 1341843 …4 kB (509 palabras) - 13:31 23 jul 2021
- Clasificación Heurística (Heuristic Classification) Resolución Constructiva (Constructive Problem Solving) Hipótesis y Prueba Jerárquica (Hierarchical Hipotesize